// -*- mode: C++; c-file-style: "cc-mode" -*-
//*************************************************************************
//
// Copyright 2009-2017 by Wilson Snyder. This program is free software; you can
// redistribute it and/or modify it under the terms of either the GNU
// Lesser General Public License Version 3 or the Perl Artistic License
// Version 2.0.
// SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
//
//*************************************************************************

#include "svdpi.h"
#include <cstdio>
#include <cstring>
#include <iostream>

#include "TestCheck.h"

#include "verilated_cov.h"

#include VM_PREFIX_INCLUDE

//======================================================================

double sc_time_stamp() { return 0; }

int errors = 0;

//======================================================================

const char *name() { return "main"; }

void hier_insert(VerilatedCovContext *covContextp, vluint64_t *countp,
                 const char *hierp, const char *peri) {
  // This needs to be a function at one line number so all of the
  // line numbers for coverage are constant, otherwise instances won't combine.
  VL_COVER_INSERT(covContextp, countp, "hier", hierp, "per_instance", peri);
}

int main() {
  vluint32_t covers[1];
  vluint64_t coverw[6];

  VerilatedCovContext *covContextp = Verilated::defaultContextp()->coveragep();

  VL_COVER_INSERT(covContextp, &covers[0], "comment", "kept_one");
  VL_COVER_INSERT(covContextp, &coverw[0], "comment", "kept_two");
  VL_COVER_INSERT(covContextp, &coverw[1], "comment", "lost_three");

  hier_insert(covContextp, &coverw[2], "top.a0.pi", "0");
  hier_insert(covContextp, &coverw[3], "top.a1.pi", "0");
  hier_insert(covContextp, &coverw[4], "top.a0.npi", "1");
  hier_insert(covContextp, &coverw[5], "top.a1.npi", "1");

  covers[0] = 100;
  coverw[0] = 210;
  coverw[1] = 220;

  coverw[2] = 200;
  coverw[3] = 300;
  coverw[4] = 200;
  coverw[5] = 300;

#ifdef T_COVER_LIB
  TEST_CHECK_CSTR(covContextp->defaultFilename(), "coverage.dat");
  covContextp->write(VL_STRINGIFY(TEST_OBJ_DIR) "/coverage1.dat");
  covContextp->forcePerInstance(true);
  covContextp->write(VL_STRINGIFY(TEST_OBJ_DIR) "/coverage1_per_instance.dat");
  covContextp->forcePerInstance(false);
  covContextp->clearNonMatch("kept_");
  covContextp->write(VL_STRINGIFY(TEST_OBJ_DIR) "/coverage2.dat");
  covContextp->zero();
  covContextp->write(VL_STRINGIFY(TEST_OBJ_DIR) "/coverage3.dat");
  covContextp->clear();
  covContextp->write(VL_STRINGIFY(TEST_OBJ_DIR) "/coverage4.dat");
#elif defined(T_COVER_LIB_LEGACY)
  TEST_CHECK_CSTR(VerilatedCov::defaultFilename(), "coverage.dat");
  VerilatedCov::write(VL_STRINGIFY(TEST_OBJ_DIR) "/coverage1.dat");
  VerilatedCov::clearNonMatch("kept_");
  VerilatedCov::write(VL_STRINGIFY(TEST_OBJ_DIR) "/coverage2.dat");
  VerilatedCov::zero();
  VerilatedCov::write(VL_STRINGIFY(TEST_OBJ_DIR) "/coverage3.dat");
  VerilatedCov::clear();
  VerilatedCov::write(VL_STRINGIFY(TEST_OBJ_DIR) "/coverage4.dat");
#else
#error
#endif

  printf("*-* All Finished *-*\n");
  return (errors ? 10 : 0);
}
